IMO, 2001

Đặt \(x=\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ac}}+\frac{c}{\sqrt{c^2+8ab}}\left(x;y;z\in\left(0;1\right)\right)\)

Để ý rằng \(\frac{a^2}{8bc}=\frac{x^2}{1-x^2};\frac{b^2}{8ac}=\frac{y^2}{1-y^2};\frac{c^2}{8ba}=\frac{z^2}{1-z^2}\)

=> \(\frac{1}{512}=\left(\frac{x^2}{1-x^2}\right)\left(\frac{y^2}{1-y^2}\right)\left(\frac{z^2}{1-z^2}\right)\)

Ta cần chứng minh \(x+y+z\ge1\)với \(x;y;z\in\left(0;1\right)\)và \(\left(1-x^2\right)\left(1-y^2\right)\left(1-z^2\right)=512\left(xyz\right)^2\left(1\right)\)

Giả sử ngược lại x+y+z<1

Theo BĐT AM-GM ta có:

\(\left(1-x^2\right)\left(1-y^2\right)\left(1-z^2\right)>\left[\left(x+y+z\right)^2-x^2\right]\left[\left(x+y+z\right)^2-y^2\right]\left[\left(x+y+z\right)^2-z^2\right]\)

\(=\left(x+x+y+z\right)\left(y+z\right)\left(x+y+z+y\right)\left(z+x\right)\left(z+z+x+y\right)\left(x+y\right)\)

\(\ge4\left(x^2yz\right)^{\frac{1}{4}}\cdot2\left(yz\right)^{\frac{1}{2}}\cdot4\left(y^2zx\right)^{\frac{1}{4}}\cdot2\left(xz\right)^{\frac{1}{2}}\cdot4\left(z^2xy\right)^{\frac{1}{4}}\cdot2\left(xy\right)^{\frac{1}{2}}=512\left(xyz\right)^2\)

Điều này mâu thuẫn với (1)

Vậy điều phản chứng là sai và ta có đpcm

Để ý theo bất đẳng thức Bunhiacopxki ta có:

\(\left(a+b+c\right)^2\) sẽ nhỏ hơn hoặc bằng với:

\(\left(\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ca}}+\frac{c}{\sqrt{c^2+8ab}}\right)\left(a\sqrt{a^2+8bc}+b\sqrt{b^2+8ca}+c\sqrt{c^2+8ab}\right)\)

Mặt khác cũng theo bất đẳng thức Bunhiacopxki ta được:

\(a\sqrt{a^2+8bc}+b\sqrt{b^2+8ca}+c\sqrt{c^2+8ab}\)

\(=\sqrt{a}\sqrt{a^3+8abc}+\sqrt{b}\sqrt{b^3+8abc}+\sqrt{c}\sqrt{c^3+8abc}\)sẽ nhỏ hơn hoặc bằng với:

\(\sqrt{\left(a+b+c\right)\left(a^3+b^3+c^3\right)+24abc}\)

Ta chứng minh được \(\left(a+b+c\right)^3\ge a^3+b^3+c^3+24abc\)nên ta được:

\(a\sqrt{a^2+8bc}+b\sqrt{b^2+8ca}+c\sqrt{c^2+8ab}\le\left(a+b+c\right)^2\)

\(\Rightarrow\left(a+b+c\right)^2\le\left(\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ca}}+\frac{c}{\sqrt{c^2+8ab}}\right)\left(a+b+c\right)^2\)

Hay \(\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ca}}+\frac{c}{\sqrt{c^2+8ab}}\ge1\)

Vậy bất đẳng thức được chứng minh. Dấu đẳng thức xảy ra khi \(a=b=c\)

Đặt \(u=\frac{bc}{a^2};v=\frac{ca}{b^2};w=\frac{ab}{c^2}\). BĐT quy về:

\(\frac{1}{\sqrt{8u+1}}+\frac{1}{\sqrt{8v+1}}+\frac{1}{\sqrt{8w+1}}\ge1\) với uvw = 1

Đặt \(\sqrt{8u+1}=x;\sqrt{8v+1}=y;\sqrt{8w+1}=z\)

Ta phải chứng minh \(xy+yz+zx\ge xyz\) (*) với \(\left(x^2-1\right)\left(y^2-1\right)\left(z^2-1\right)=512\)

Ta có: \(\left(x^2-1\right)\left(y^2-1\right)\left(z^2-1\right)=512\)

\(\Leftrightarrow\Sigma x^2+x^2y^2z^2=513+\Sigma x^2y^2\)

(*) \(\Leftrightarrow\Sigma x^2y^2+2xyz\left(x+y+z\right)\ge x^2y^2z^2\)'

\(\Leftrightarrow\Sigma x^2+2xyz\left(x+y+z\right)\ge513\)

Và rất đơn giản bởi AM-GM, điều đó hiển nhiên đúng:

Có:\(\left(8v+1\right)\left(8u+1\right)\left(8w+1\right)\ge729\sqrt[9]{u^8v^8w^8}=729\)

Nên  \(xyz=\sqrt{\left(8v+1\right)\left(8u+1\right)\left(8w+1\right)}\)

\(\ge\sqrt{729}=27\). Và \(x^2+y^2+z^2\ge3\sqrt[3]{\left(xyz\right)^2}=3.9=27;a+b+c\ge9\)

P/s: Bài dài quá em chẳng muốn check lại. Có sai chỗ nào ko ta? Bài này lúc đầu em định uct nhưng ko ra.

Một BĐT mạnh (tổng quát) hơn!

Cho a, b, c > 0 và \(n\ge1\). Chứng minh:

\(\Sigma\frac{a^n}{\sqrt{a^2+8bc}}\ge\frac{1}{3}\left(a^{n-1}+b^{n-1}+c^{n-1}\right)\)

Holder \(\left(\sum \frac{a}{\sqrt{a^2+8bc}}\right)^2\left(\sum a\left(a^2+8bc\right)\right)\ge \left(\sum a\right)^3\)

Cần cm \(\left(\sum a\right)^3\ge \left(\sum a\left(a^2+8bc\right)\right)\)

Tương đương \(\Pi (a+b)\ge 8abc\)

Điều cuối cùng hiển nhiên theo AMGM

Đặt \(P=\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ca}}+\frac{c}{\sqrt{c^2+abc}}\)

\(=\frac{a^2}{a\sqrt{a^2+8bc}}+\frac{b^2}{b\sqrt{b^2+8ca}}+\frac{c^2}{c\sqrt{c^2+abc}}\)

\(\ge\frac{\left(a+b+c\right)^2}{\left(a\sqrt{a^2+8bc}+b\sqrt{b^2+8ca}+c\sqrt{c^2+8ab}\right)}\)(Theo bất đẳng thức Bunhiacopxki dạng phân thức)

Ta có: 

Suy ra 

Ta cần chứng minh \(a^3+b^3+c^3+24abc\le\left(a+b+c\right)^3\)

\(\Leftrightarrow a^2b+b^2c+c^2a+ab^2+bc^2+ca^2\ge6abc\)

Đúng vì \(a^2b+b^2c+c^2a\ge3\sqrt[3]{a^3b^3c^3}=3abc\); \(ab^2+bc^2+ca^2\ge3\sqrt[3]{a^3b^3c^3}=3abc\)

Từ đó suy ra \(\left(a\sqrt{a^2+8bc}+b\sqrt{b^2+8ca}+c\sqrt{c^2+8ab}\right)\le\left(a+b+c\right)^2\)

\(\Rightarrow\frac{\left(a+b+c\right)^2}{\left(a\sqrt{a^2+8bc}+b\sqrt{b^2+8ca}+c\sqrt{c^2+8ab}\right)}\ge1\)

Vậy \(=\frac{a}{\sqrt{a^2+8bc}}+\frac{b}{\sqrt{b^2+8ca}}+\frac{c}{\sqrt{c^2+abc}}\ge1\)

Đẳng thức xảy ra khi a = b = c

1/ Không mất tính tổng quát, giả sử \(a\ge b\ge c\text{ và }x\ge y\ge z\)

Ta sẽ chứng minh \(ax+by+cz\ge\frac{1}{3}\left(a+b+c\right)\left(x+y+z\right)\)(Thấy giông giống BĐT Chebyshev nhưng không biết có phải không nên ko dám áp dụng, chứng minh cho chắc:D)

\(\Leftrightarrow3ax+3by+3cz\ge\left(a+b+c\right)\left(x+y+z\right)\)

\(\Leftrightarrow2\left(ax+by+cz\right)\ge a\left(y+z\right)+b\left(z+x\right)+c\left(x+y\right)\)

\(\Leftrightarrow\left(2x-y-z\right)a+\left(2y-z-x\right)b+\left(2z-x-y\right)c\ge0\)

\(\Leftrightarrow\left(2x-y-z\right)a-\left[\left(2x-y-z\right)+\left(2z-x-y\right)\right]b+\left(2z-x-y\right)c\ge0\)

\(\Leftrightarrow\left(2x-y-z\right)\left(a-b\right)+\left(2z-x-y\right)\left(c-b\right)\ge0\)

\(\Leftrightarrow\left(x-y\right)\left(a-b\right)+\left(x-z\right)\left(a-c\right)+\left(y-z\right)\left(b-c\right)\ge0\) (Đúng do giả sử)

Như vậy: \(VT\ge\frac{1}{3}\left(a+b+c\right)\left(x+y+z\right)+\sqrt{\left(a^2+b^2+c^2\right)\left(x^2+y^2+z^2\right)}\)

\(\ge\frac{1}{3}\left(a+b+c\right)\left(x+y+z\right)+\sqrt{\frac{\left(a+b+c\right)^2\left(x+y+z\right)^2}{9}}=\frac{2}{3}\left(a+b+c\right)\left(x+y+z\right)=VP\)

Ta có đpcm.

Is that true? Em không chắc ở cái bổ đề ban đầu, khi biến đổi có thể làm lộn, nhưng em lại ngại làm kỹ nên em đã làm tắt:v

Bài 1 nếu tự nhiên ép \(x\ge y\ge z \) đồng thời\(a\ge b \ge c\) thì lời giải rất vô duyên. Có thể làm cách khá như sau

Nếu đặt \(t=\sqrt{\frac{x^2+y^2+z^2}{a^2+b^2+c^2}}\) và giả sử \(\left(x,y,z\right)=\left(tp,tq,tr\right)\) thì ta có \(a^2+b^2+c^2=p^2+q^2+r^2\)

Khi đó cần cm \(ap+bq+cr+a^2+b^2+c^2\ge\frac{2}{3}\left(a+b+c\right)\left(p+q+r\right)\)

\(\Leftrightarrow\frac{4}{3}\left(a+b+c\right)\left(p+q+r\right)\le\left(a+p\right)^2+\left(b+q\right)^2+\left(c+r\right)^2\left(\text{*}\right)\)

Dùng bdt \(ab\le\frac{\left(a+b\right)^2}{4}\) và \(\frac{\left(a+b+c\right)^2}{3}\le a^2+b^2+c^2\) ta có:

\(VT\left(\text{*}\right)\le\frac{\left(a+b+c+p+q+r\right)^2}{3}\le\left(a+p\right)^2+\left(b+q\right)^2+\left(c+r\right)^2=VP\left(\text{*}\right)\)

Thâm à nha:) Bài 2 là IMO 2001, em đã nêu đáp án tại đây: Câu hỏi của IMO 2001 - Toán lớp 9 - Học toán với OnlineMath

Ace Legona Bạn mà ko giải được thì còn ai giải đc nữa mà hỏi

1,

\(\frac{a}{1+\frac{b}{a}}+\frac{b}{1+\frac{c}{b}}+\frac{c}{1+\frac{a}{c}}=\frac{a^2}{a+b}+\frac{b^2}{b+c}+\frac{c^2}{c+a}\ge\frac{\left(a+b+c\right)^2}{2\left(a+b+c\right)}=\frac{a+b+c}{2}\ge\frac{\sqrt{ab}+\sqrt{bc}+\sqrt{ca}}{2}=\frac{2}{2}=1\left(Q.E.D\right)\)